Buy Used and New Erika Ábrahám Books

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 9681 (Lecture Notes in Computer Science)

by Erika Ábrahám,Marieke Huisman

ISBN 13: 9783319336923

Format: Paperback (552 pages)
Publisher: Springer
Published: 24 May 2016

Save for later

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... Jun: 8461 (Lecture Notes in Computer Science)

by Erika Ábrahám,Catuscia Palamidessi

ISBN 13: 9783662436127

Format: Paperback (316 pages)
Publisher: Springer
Published: 21 May 2014

Save for later